Decidability of Multi-modal Logic LTK of Linear Time and Knowledge
نویسنده
چکیده
The paper investigates modal (temporal-model) logics based at a semantic approach with models combining knowledge and time. We introduce multi-modal logics LTKr and LTKir containing modalities for knowledge and time as the sets of all LTKr-valid, and LTKir-valid formulae for a class of special LTKrframes, LTKir-frames, respectively. The main results of this paper are theorems stating that LTKr and LTKir are decidable; we also give an explicit solving algorithm.
منابع مشابه
Modal Fixed Point Logics
These four lectures are centered around multi-modal logics extended by the possibility to introduce least and largest fixed points. We begin with discussing a range of traditional results and turn towards a more explicit and operational approach in the fourth lecture. Our focus will be on foundational questions rather than practical applications, which will be – I assume – treated in other lect...
متن کاملLinear Temporal Logic LTKK extended by Multi-Agent Logic Kn with Interacting Agents
We study an extension LTLK of the linear temporal logic LTL by implementing multi-agent knowledge logic KD45m (which is often referred as multi-modal logic S5m). The temporal language of our logic adapts the operations U (until) and N (next) and uses new temporal operations: Uw—weak until, and Us—strong until. We also employ the standard agents’ knowledge operations Ki from the multi-agent logi...
متن کاملMax-planck-institut F Ur Informatik a Multi-dimensional Terminological Knowledge Representation Language K I N F O R M a T I K Authors' Addresses Publication Notes
An extension of the concept description language ALC used in kl-one-like terminological reasoning is presented. The extension includes multi{modal operators that can either stand for the usual role quanti cations or for modalities such as belief, time etc. The modal operators can be used at all levels of the concept terms, and they can be used to modify both concepts and roles. This is an insta...
متن کاملIntransitive Temporal Multi-agent's Logic, Knowledge and Uncertainty, Plausibility
We study intransitive temporal logic implementing multiagent’s approach and formalizing knowledge and uncertainty. An innovative point here is usage of non-transitive linear time and multi-valued models the ones using separate valuations Vj for agent’s knowledge of facts and summarized (agreed) valuation together with rules for computation truth values for compound formulas. The basic mathemati...
متن کاملThe Unrestricted Combination of Temporal Logic Systems
This paper generalises and complements the work on combining temporal logics started by Finger and Gabbay [11, 10]. We present proofs of transference of soundness, completeness and decidability for the temporalisation of logics T(L) for any flow of time, eliminating the original restriction that required linear time for the transference of those properties through logic combination. We also gen...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013